Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Automotive software-connected services in mobile networks : first automotive software workshop, ASWSD 2004 : San Diego, CA, USA, January 10-12, 2004 : revised selected papers / Manfred Broy, Ingolf H. Kruger, Michael Meisinger (eds.)
| Automotive software-connected services in mobile networks : first automotive software workshop, ASWSD 2004 : San Diego, CA, USA, January 10-12, 2004 : revised selected papers / Manfred Broy, Ingolf H. Kruger, Michael Meisinger (eds.) |
| Autore | Automotive software workshop, ASWSD 2004 : <1.; : 2004 |
| Pubbl/distr/stampa | Berlin (etc.) : Springer, copyr. 206 |
| Descrizione fisica | XIV, 154 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Software per computer - Congressi - San Diego - 2004 |
| ISBN | 3-540-37677-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003072910203316 |
Automotive software workshop, ASWSD 2004 : <1.; : 2004
|
||
| Berlin (etc.) : Springer, copyr. 206 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Constructive methods in computing science : international summer school directed by F.L. Bauer... / edited by Manfred Broy
| Constructive methods in computing science : international summer school directed by F.L. Bauer... / edited by Manfred Broy |
| Pubbl/distr/stampa | Berlin : Springer, c1989 |
| Descrizione fisica | VIII, 478 p. ; 24 cm |
| Disciplina | 004 |
| Collana | NATO ASI series. Series F, Computer and systems sciences |
| Soggetto topico |
Elaborazione elettronica dei dati dei Congressi 1988
Congressi - Marktoberdorf - 1988 |
| ISBN | 3-540-51369-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000512930203316 |
| Berlin : Springer, c1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic of programming and calculi of discrete design : international summer school / directed by F.L. Bauer ...<et al.>
| Logic of programming and calculi of discrete design : international summer school / directed by F.L. Bauer ...<et al.> |
| Pubbl/distr/stampa | ( : edited by Manfred Broy) : Berlin, Springer |
| Descrizione fisica | c1987 : 413 p. + 24 cm |
| Disciplina | 005.131 |
| Collana | NATO ASI series |
| Soggetto topico | Linguaggi formali -- Congressi -- 1986 |
| ISBN | 3-540-1803-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000842180203316 |
| ( : edited by Manfred Broy) : Berlin, Springer | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model-based testing of reactive systems : advanced lectures / Manfred Broy...[et al.] (eds.)
| Model-based testing of reactive systems : advanced lectures / Manfred Broy...[et al.] (eds.) |
| Autore | BROY, Manfred |
| Pubbl/distr/stampa | Berlin (etc.) : Springer, copyr. 2005 |
| Descrizione fisica | VIII, 659 p. : ill. ; 24 cm |
| Disciplina | 004.24 |
| Collana | Lecture Notes in Computer Science, Tutorial |
| Soggetto topico | Sistemi Complessi |
| ISBN | 3-540-26278-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003074590203316 |
|
BROY, Manfred
|
||
| Berlin (etc.) : Springer, copyr. 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model-driven development of reliable automotive services : Second automotive software workshop, ASWSD 2006 : San Diego, CA, USA, March 15-17, 2006 : Revised selected papers / Manfred Broy, Ingolf H. Krüger, Michael Meisinger (Eds.)
| Model-driven development of reliable automotive services : Second automotive software workshop, ASWSD 2006 : San Diego, CA, USA, March 15-17, 2006 : Revised selected papers / Manfred Broy, Ingolf H. Krüger, Michael Meisinger (Eds.) |
| Autore | Automotive software workshop, ASWSD 2006 <2.; : 2006 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2008 |
| Descrizione fisica | XVIII, 181 p. : ill. ; 24 cm |
| Disciplina | 001 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Informatica - Congressi - San Diego - 2006 |
| ISBN | 978-3-540-70929-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003140670203316 |
|
Automotive software workshop, ASWSD 2006 <2.; : 2006
|
||
| Berlin [etc.] : Springer, copyr. 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software & systems requirements engineering in practice / Brian Berenbach...[et al.] ; [forewords by Manfred Broy and Erik Simmons]
| Software & systems requirements engineering in practice / Brian Berenbach...[et al.] ; [forewords by Manfred Broy and Erik Simmons] |
| Pubbl/distr/stampa | New York [etc.] : McGraw-Hill, 2009 |
| Descrizione fisica | XXV, 321 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Soggetto topico | Elaboratori - Programmazione |
| ISBN | 978-0-07-160547-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996240746403316 |
| New York [etc.] : McGraw-Hill, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||